Gemini Pro: モジュラー群 $PSL(2, \mathbb{Z})$ における位数3の元の共役類に関する議論アーカイブ

本ドキュメントは、モジュラー群 $PSL(2, \mathbb{Z})$ 内の位数3の元が互いに共役であるかという問いから始まり、自由積の性質、および具体的な行列表現におけるトレースと行列式の計算による検証、そしてその過程で生じた計算の誤りと正確な代数的修正に至る一連の議論を整理・記録したものです。

質問 (User)

$PSL(2, \mathbb{Z})$の位数3の元は互いにすべて共役ですか？

回答 (Gemini Pro)

結論から言うと、互いにすべて共役ではありません。$PSL(2, \mathbb{Z})$ における位数3の元は、ちょうど2つの異なる共役類に分かれます。

代数的な構造と行列の具体的な性質の両面から、その理由を解説します。

1. 自由積の構造からのアプローチ

$PSL(2, \mathbb{Z})$ は、モジュラー群としてよく知られており、位数2の巡回群 $\mathbb{Z}_2$ と位数3の巡回群 $\mathbb{Z}_3$ の自由積（Free product）と同型になります。

$$PSL(2, \mathbb{Z}) \cong \mathbb{Z}_2 * \mathbb{Z}_3$$

自由積の一般的な性質として、「有限位数の元は、必ずどちらかの因子群（$\mathbb{Z}_2$ または $\mathbb{Z}_3$）の元と共役になる」という定理があります。したがって、$PSL(2, \mathbb{Z})$ の位数3の元はすべて、$\mathbb{Z}_3$ の生成元を $x$ としたとき、$x$ または $x^2 (= x^{-1})$ のいずれかと共役になります。

ここで、群 $G = A * B$ において、$A$ 内の元が $G$ 全体で共役になるのは、$A$ の内部ですでに共役である場合に限られます。$\mathbb{Z}_3$ はアーベル群であるため、$x$ と $x^{-1}$ は決して共役になり得ません。これにより、共役類がちょうど2つ存在することがわかります。

2. 幾何学的な解釈（補足）

$PSL(2, \mathbb{Z})$ の元は、上半平面に対する向きを保つ等長変換（メビウス変換）として作用します。位数3の元は、ある点を中心とした $\frac{2\pi}{3}$ の回転と、$-\frac{2\pi}{3}$（または $\frac{4\pi}{3}$）の回転に対応します。

もし行列式が $-1$ の変換を許容する $PGL(2, \mathbb{Z})$ まで群を広げれば、鏡映変換（反転）によって右回りと左回りの回転を重ね合わせることができるため、これらはすべて共役になります。しかし、$PSL(2, \mathbb{Z})$ では「向きを保つ」変換しか許容されないため、この2つの回転（$U$ と $U^{-1}$）を重ね合わせることができず、別々の共役類として分かれることになります。

指摘・訂正要求 (User)

対角行列 $V=\mathrm{diag}(-1, 1)$ は $VUV^{-1}=U^{-1}$ をみたしません。訂正せよ。

さらに $VUV^{-1}=U^{-1}$ を満たす整数行列 $V$ の行列式は $-1$ になるとは限らず、一般に負の整数になります。これも訂正せよ。

修正と詳細な代数的検証 (Gemini Pro)

ご指摘の通り、前述の行列表現を用いた具体的な検証プロセスにおいて、例示した対角行列の不適合、および満たすべき整数行列の行列式の一般化に重大な誤りがありました。ここに深く感謝し、正しい代数計算のプロセスに訂正いたします。

3. 行列表現とトレース・行列式による正確なアプローチ

$PSL(2, \mathbb{Z}) = SL(2, \mathbb{Z}) / \{\pm I\}$ であるため、$SL(2, \mathbb{Z})$ の行列として議論を行います。

位数3の元を代表する行列 $U$ と、その逆行列 $U^{-1}$ を以下のように定めます。

$$U = \begin{pmatrix} 0 & -1 \\ 1 & 1 \end{pmatrix}, \quad U^{-1} = \begin{pmatrix} 1 & 1 \\ -1 & 0 \end{pmatrix}$$

これらが $PSL(2, \mathbb{Z})$ において共役であると仮定すると、ある $V \in SL(2, \mathbb{Z})$ が存在して、以下のいずれかが成り立つ必要があります。

  1. $VUV^{-1} = U^{-1} \iff VU = U^{-1}V$
  2. $VUV^{-1} = -U^{-1} \iff VU = -U^{-1}V$

ケース1: $VU = U^{-1}V$ の検証

求める整数行列を $V = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ （$a, b, c, d \in \mathbb{Z}$）とおき、両辺を計算します。

$$VU = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} 0 & -1 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix} b & -a+b \\ d & -c+d \end{pmatrix}$$
$$U^{-1}V = \begin{pmatrix} 1 & 1 \\ -1 & 0 \end{pmatrix} \begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a+c & b+d \\ -a & -b \end{pmatrix}$$

各成分を比較することにより、以下の連立関係式が導かれます。

したがって、$VUV^{-1} = U^{-1}$ を満たす整数行列 $V$ の一般形は以下のように決定されます。

$$V = \begin{pmatrix} a & b \\ b-a & -a \end{pmatrix} \quad (a, b \in \mathbb{Z})$$

（※当初誤って提示した対角行列 $\mathrm{diag}(-1, 1)$ は $c=0, b=0$ かつ $a=-1, d=1$ となり、$d=-a$ の関係を満たさないため不適合です。正しくは、例えば $a=-1, b=0$ とした $\begin{pmatrix} -1 & 0 \\ 1 & 1 \end{pmatrix}$ などが条件を満たします。）

行列式 $\det(V)$ の性質と評価

この条件を満たす行列 $V$ の行列式を計算します。

$$\det(V) = a(-a) - b(b-a) = -a^2 - b^2 + ab = -(a^2 - ab + b^2)$$

右辺の括弧内を平方完成すると、以下のようになります。

$$a^2 - ab + b^2 = \left(a - \frac{1}{2}b\right)^2 + \frac{3}{4}b^2$$

$a, b \in \mathbb{Z}$ であり、零行列を除外するため $(a, b) \neq (0, 0)$ とすると、この 2 次形式は必ず正の整数値をとります。したがって、その負数である $\det(V)$ は、ご指摘の通り常に負の整数となります。

例えば、$a=1, b=2$ のとき、

$$V = \begin{pmatrix} 1 & 2 \\ 1 & -1 \end{pmatrix}, \quad \det(V) = -1 - 2 = -3$$

となり、行列式は $-1$ に限らず、様々な負の整数をとり得ることが示されます。

私たちが求めている共役元は $SL(2, \mathbb{Z})$ の元、すなわち $\det(V) = 1$ を満たす行列ですが、上式より $\det(V) \le -1$ であるため、条件を満たす $V \in SL(2, \mathbb{Z})$ は存在しません。

ケース2: $VU = -U^{-1}V$ の検証

もう一つの可能性として、$-U^{-1}$ との共役性を考えるため、両辺のトレース（対角成分の和）を比較します。相似変換においてトレースは不変であるため、以下が成り立つ必要があります。

$$\mathrm{Tr}(VUV^{-1}) = \mathrm{Tr}(U) = 0 + 1 = 1$$

一方で、右辺のトレースは、

$$\mathrm{Tr}(-U^{-1}) = -\mathrm{Tr}(U^{-1}) = -(1 + 0) = -1$$

となり、トレースが一致しないため、このような整数行列 $V$ も存在しません。

4. 結論

以上の厳密な代数計算の修正および検証により、ケース1・ケース2のいずれにおいても $U$ と $U^{-1}$ を結ぶ $SL(2, \mathbb{Z})$ の元は存在しないことが証明されました。

これにより、幾何学的・代数的アプローチから導かれた「$PSL(2, \mathbb{Z})$ における位数3の元はすべてが互いに共役ではなく、ちょうど2つの共役類に分かれる」という結論の頑健性が、行列表現を通じても正しく担保されることが確認されました。